1. Uniqueness quantification is often denoted with the symbols "∃!" or "∃=1".

Định lượng đuy nhất thường được biểu thị bằng các ký hiệu "∃!" hoặc "∃=1".